x86/time: refactor read_platform_stime()
authorJoao Martins <joao.m.martins@oracle.com>
Fri, 23 Sep 2016 16:24:49 +0000 (18:24 +0200)
committerJan Beulich <jbeulich@suse.com>
Fri, 23 Sep 2016 16:24:49 +0000 (18:24 +0200)
commit23e4e9326bf375b19292bc92e12b73aad74b9da3
treee68689e51fb10d87730672ff91e270b5a2a5f1f6
parent4eb4424db5a4a0f90abac4cb8552c5b0809c83f0
x86/time: refactor read_platform_stime()

To allow the caller to fetch the last read from the clocksource which
was used to calculate system_time. This is a prerequisite for a
subsequent patch that will use this last read.

Signed-off-by: Joao Martins <joao.m.martins@oracle.com>
Acked-by: Jan Beulich <jbeulich@suse.com>
xen/arch/x86/time.c